locally compact metric space

局部紧度量空间